@incollection{,
year={2007},
isbn={978-3-540-75139-7},
booktitle={Computational Methods in Systems Biology},
volume={4695},
series={Lecture Notes in Computer Science},
editor={Calder, Muffy and Gilmore, Stephen},
doi={10.1007/978-3-540-75140-3_13},
title={Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus},
url={http://dx.doi.org/10.1007/978-3-540-75140-3_13},
publisher={Springer Berlin Heidelberg},
author={Phillips, Andrew and Cardelli, Luca},
pages={184-199}
}
